gdk: Add an arg check to gdk_device_get_timestamp

Pointed out by Emmanuele Bassi.

diff --git a/gdk/gdkdevice.c b/gdk/gdkdevice.c
index ea0b78fb28cd8e26613433c133bd2a4144e79b00..b36ce7f7083cbfab57c55a694914a91fb2480495 100644 (file)
--- a/gdk/gdkdevice.c
+++ b/gdk/gdkdevice.c
@@ -1407,5 +1407,7 @@ gdk_device_set_timestamp (GdkDevice *device,
 guint32
 gdk_device_get_timestamp (GdkDevice *device)
 {
+  g_return_val_if_fail (GDK_IS_DEVICE (device), GDK_CURRENT_TIME);
+
   return device->timestamp;
 }